Patrick Baillot: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Linear logic by levels and bounded time complexity

Patrick Baillot, Damiano Mazza

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 2.46 MB

english, 2010

2

Electrophysiological characterization of three non-synonymous single nucleotide polymorphisms (R87Q, A251T, and P307S) found in hKv1.5

Isabelle Plante, Dominique Fournier, Guylaine Ricard, Benoît Drolet, Gilles O’Hara, Jean Champagne, Patrick Mathieu, Richard Baillot, Pascal Daleau

Journal:

Pflügers Archiv European Journal of Physiology

Year:

2006

Language:

english

File:

PDF, 253 KB

english, 2006

3

Stratified coherence spaces: a denotational semantics for light linear logic

Patrick Baillot

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 388 KB

english, 2004

4

Type inference for light affine logic via constraints on words

Patrick Baillot

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 403 KB

english, 2004

5

Light types for polynomial time computation in lambda calculus

Patrick Baillot, Kazushige Terui

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 495 KB

english, 2009

6

Light logics and optimal reduction: Completeness and complexity

Patrick Baillot, Paolo Coppola, Ugo Dal Lago

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 899 KB

english, 2011

7

Structural deterioration of the Freestyle aortic valve: Mode of presentation and mechanisms

Siamak Mohammadi, Richard Baillot, Pierre Voisine, Patrick Mathieu, François Dagenais

Journal:

The Journal of Thoracic and Cardiovascular Surgery

Year:

2006

Language:

english

File:

PDF, 185 KB

english, 2006

8

The Impact of Complete Revascularization on Long-Term Survival Is Strongly Dependent on Age

Nicolas Girerd, Julien Magne, Muriel Rabilloud, Eric Charbonneau, Siamak Mohamadi, Philippe Pibarot, Pierre Voisine, Richard Baillot, Daniel Doyle, Eric Dumont, François Dagenais, Patrick Mathieu

Journal:

The Annals of Thoracic Surgery

Year:

2012

Language:

english

File:

PDF, 579 KB

english, 2012

9

Metabolic Syndrome Increases Operative Mortality in Patients Undergoing Coronary Artery Bypass Grafting Surgery

Najmeddine Echahidi, Philippe Pibarot, Jean-Pierre Després, Jean-Marc Daigle, Dania Mohty, Pierre Voisine, Richard Baillot, Patrick Mathieu

Journal:

Journal of the American College of Cardiology

Year:

2007

Language:

english

File:

PDF, 146 KB

english, 2007

10

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Light Logics and Optimal Reduction: Completeness and Complexity

Baillot, Patrick, Coppola, Paolo, Lago, Ugo Dal

Year:

2007

Language:

english

File:

PDF, 226 KB

english, 2007

11

Determinants of stroke after coronary artery bypass grafting

D'Ancona, Giuseppe, Saez de Ibarra, José Ignacio, Baillot, Richard, Mathieu, Patrick, Doyle, Daniel, Metras, Jacques, Desaulniers, Denis, Dagenais, Francois

Journal:

European Journal of Cardio-Thoracic Surgery

Year:

2003

Language:

english

File:

PDF, 95 KB

english, 2003

12

On quasi-interpretations, blind abstractions and implicit complexity

BAILLOT, PATRICK, DAL LAGO, UGO, MOYEN, JEAN-YVES

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

13

On light logics, uniform encodings and polynomial time

LAGO, UGO DAL, BAILLOT, PATRICK

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 350 KB

english, 2006

14

Age cut-off for the loss of benefit from bilateral internal thoracic artery grafting☆

Mohammadi, Siamak, Dagenais, François, Doyle, Daniel, Mathieu, Patrick, Baillot, Richard, Charbonneau, Eric, Perron, Jean, Voisine, Pierre

Journal:

European Journal of Cardio-Thoracic Surgery

Year:

2008

Language:

english

File:

PDF, 199 KB

english, 2008

15

On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy

Baillot, Patrick

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 796 KB

english, 2015

16

The underestimated belly factor: Waist circumference is linked to significant morbidity following isolated coronary artery bypass grafting

Chassé, Michaël, Mathieu, Patrick, Voisine, Pierre, Després, Jean-Pierre, Pibarot, Philippe, Baillot, Richard, Lellouche, François, Poirier, Paul

Journal:

Canadian Journal of Cardiology

Year:

2015

Language:

english

File:

PDF, 1.64 MB

english, 2015

17

Guest editorial

Baillot, Patrick, Marion, Jean-Yves, Rocca, Simona Ronchi Della

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 32 KB

english, 2009

18

Higher-order interpretations and program complexity

Baillot, Patrick, Dal Lago, Ugo

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.20 MB

english, 2016

19

Characterizing polynomial and exponential complexity classes in elementary lambda-calculus

Baillot, Patrick, De Benedetti, Erika, Ronchi Della Rocca, Simona

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

20

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

Baillot, Patrick, Barthe, Gilles, Dal Lago, Ugo

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 2.00 MB

english, 2019

21

Combining linear logic and size types for implicit complexity

Baillot, Patrick, Ghyselen, Alexis

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 1.62 MB

english, 2019